Definition as a Logical and Linguistic Category
نویسندگان
چکیده
منابع مشابه
Logical types and linguistic types
One of the primary aims of linguistic semantics is to translate the expressions of natural language into formulas of some logical calculus. These formulas, in turn, can be interpreted in the appropriate models, and semantic notions like truth, entailment, etc. can be formally defined in the usual manner. In addition to the well-known theoretical advantages of such an intermediate logical form, ...
متن کاملNuprl as Logical Framework for Automating Proofs in Category Theory
We describe the construction of a semi-automated proof system for elementary category theory using the Nuprl proof development system as logical framework. We have used Nuprl’s display mechanism to implement the basic vocabulary and Nuprl’s rule compiler to implemented a first-order proof calculus for reasoning about categories, functors and natural transformations. To automate proofs we have f...
متن کاملCategory Neutrality: a Type-logical Investigation Dissertation
ed, and the resulting term is given as an argument to the original α term. In this way, a quantified NP acts as a simple variable until an S is derived, at which point the meaning of the S is incorporated into the quantificational meaning of the NP. For example, a quantified NP such as every cat would have the category NP⇑S, and meaning λQ.every′(cat′)(Q). The phrase could act semantically as a...
متن کاملLinguistic Audit as a Professional Activity
The subject of this research is linguistic (or: language) audit. The term is new and not being widely used so far. Linguistic audit, in particular, is offered as a service of linguistic-consulting agencies’ activities. Modern linguistic consulting, according to the author, is a form of stimulating theoretical and practical development of linguistic ecology, a new branch of applied linguistics, ...
متن کاملA Linguistic Study on the Translation of Parvin E’tesami’s Poems into English Using Catford’s Category Shifts
The present study aimed to investigate the translation into English by Alaeddin Pazargadi of Parvin E’tesami’s poems; in particular, it attempted to analyze the structural elements such as verbs, nouns, pronouns, adjectives, adverbs, articles, conjunctions, prepositions, and interjections in them. Considering the relationship between Linguistics and Translation Studies, the theoretical framewor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Concept: philosophy, religion, culture
سال: 2020
ISSN: 2619-0540,2541-8831
DOI: 10.24833/2541-8831-2020-1-13-72-83